/*
 * terminator_despacho.cpp
 *
 */


#include "../middleware/CommunicationDespacho.h"
#include "../middleware/CommunicationRobot16.h"
#include "../middleware/CommunicationAdpt.h"
#include "../middleware/CommunicationADP.h"
#include "../middleware/CommunicationVendedor.h"
#include "../channel_common/ChannelInterface.h"
#include "../control/clienteCommon.h"

int main(int argc, char**argv)
{
	std::string hostName = "vendedor_pc";

	channel::ChannelInterface::disconnectChannel(hostName);
	channel::ChannelInterface::destroy(hostName);

	middleware::CommunicationAdpt::destroy(middleware::CommunicationAdpt::VENDEDOR, hostName);
	middleware::CommunicationADP::destroy(middleware::CommunicationADP::VENDEDOR);
	middleware::CommunicationVendedor::destroy(middleware::CommunicationVendedor::VENDEDOR,hostName);
}
